/*
 * lib/ulib.c
 *
 * created at 2007.10.13 by ChenJie
 *
 * last modified at 2007.10.13
 *
 */

#include <cosstd.h>

#define __LIBRARY__
#include <unistd.h>

_syscall2(int,send, long, pid, struct msg_struct*, msgp)
_syscall2(int,receive, long, pid, struct msg_struct*, msgp)
_syscall2(int,sendrec, long, pid, struct msg_struct*, msgp)
_syscall1(int,notify,  long, dst_pid)

_syscall0(int, halt)
_syscall0(int, showclock)
_syscall1(int,user_print,const char*, fmt)
